Parallel Program Development for a Recursive Numerical Algorithm a Case Study
نویسنده
چکیده
A systematic approach to the parallel program development for a new class of numerical methods on sparse grids is presented It combines formal design and veri cation methods based on stream processing functions with simple tools for e ciency evaluation The use of this approach is demonstrated on a real life example two dimensional integration algorithm
منابع مشابه
Formal Derivation and Implementation of Divide-and-Conquer on a Transputer Network
This paper considers parallel program development based on functional mutually recursive speciications. The development yields a communication structure linking an arbitrary xed number of processors and an SPMD program executable on the structure. There are two steps in the development process: rst, a parallel functional implementation is obtained through formal transformations in the Bird-Meer...
متن کاملA real-time recursive dynamic model for vehicle driving simulators
This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...
متن کاملA Message-Passing Distributed Memory Parallel Algorithm for a Dual-Code Thin Layer, Parabolized Navier-Stokes Solver
In this study, the results of parallelization of a 3-D dual code (Thin Layer, Parabolized Navier-Stokes solver) for solving supersonic turbulent flow around body and wing-body combinations are presented. As a serial code, TLNS solver is very time consuming and takes a large part of memory due to the iterative and lengthy computations. Also for complicated geometries, an exceeding number of grid...
متن کاملSystematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications
An SPMD parallel implementation schema for divide-and-conquer specifications is proposed and derived b y formal refinement (transformation) of the specification. The specification is in the form of a mutually recursive functional definition. In a first phase, a parallel functional program schema is constructed which consists of a communication tree and a functional program that is shared by all...
متن کاملSpeeding up the Stress Analysis of Hollow Circular FGM Cylinders by Parallel Finite Element Method
In this article, a parallel computer program is implemented, based on Finite Element Method, to speed up the analysis of hollow circular cylinders, made from Functionally Graded Materials (FGMs). FGMs are inhomogeneous materials, which their composition gradually varies over volume. In parallel processing, an algorithm is first divided to independent tasks, which may use individual or shared da...
متن کامل